Bump the production group across 1 directory with 2 updates · MiniZinc/minizinc-playground@44875e0

Triggered via push April 21, 2025 08:50

Status Success

Total duration 44s

Artifacts 1

gh-pages.yml

on: push

Matrix: build-for-deployment

Produced during runtime

Name	Size	Digest
playground	363 KB	`sha256:0879e99145bdbe93c8d8a5ffe74417ff60b9a8a928457569d00627e3d44e886c`